Finite dimensional Nichols algebras over certain p-groups

We investigate pointed Hopf algebras over finite nilpotent groups of odd order, with nilpotency class 2. For such a group G, we show that if its commutator subgroup coincides with its center, then there exists no non-trivial finite-dimensional pointed Hopf algebra with kG as its coradical. We apply these results to non-abelian groups of order p³, p⁴ and p⁵, and list all the pointed Hopf algebras of order p⁶, whose group of grouplikes is non-abelian.     

Positions of characters in finite groups and the Taketa inequality

We define the position of an irreducible complex character of a finite group as an alternative to the degree. We then use this to define three classes of groups: position reducible (PR)-groups, inductively position reducible (IPR)-groups and weak IPR-groups. We show that IPR-groups and weak IPR-groups are solvable and satisfy the Taketa inequality (ie, that the derived length of the group is at most the number of degrees of irreducible complex characters of the group), and we show that any M-group is a weak IPR-group. We also show that even though PR-groups need not be solvable, they cannot be perfect.     

Local commensurability graphs of solvable groups

The commensurability index between two subgroups A,B of a group G is [A:A∩B][B:A∩B]. This gives a notion of distance among finite index subgroups of G, which is encoded in the p-local commensurability graphs of G. We show that for any metabelian group, any component of the p-local commensurabilty graph of G has diameter bounded above by 4. However, no universal upper bound on diameters of components exists for the class of finite solvable groups. In the appendix we give a complete classification of components for upper triangular matrix groups in GL(2,𝔽_q).     

A Note on normalizations of orbit closures

We give a negative answer to a question by J. M. Landsberg on the nature of normalizations of orbit closures. A counterexample originates from the study of complex, ternary, cubic forms.     

On disjunctions of algebraic sets in completely simple semigroups

A semigroup S is called an equational domain if any finite union of algebraic sets over S is algebraic. We give some necessary and su?cient conditions for a completely simple semigroup to be an equational domain.     

On the complexity of the word problem for automaton semigroups and automaton groups

In this paper, we study the word problem for automaton semigroups and automaton groups from a complexity point of view. As an intermediate concept between automaton semigroups and automaton groups, we introduce automaton-inverse semigroups, which are generated by partial, yet invertible automata. We show that there is an automaton-inverse semigroup and, thus, an automaton semigroup with a PSpace-complete word problem. We also show that there is an automaton group for which the word problem with a single rational constraint is PSpace-complete. Additionally, we provide simpler constructions for the uniform word problems of these classes. For the uniform word problem for automaton groups (without rational constraints), we show NL-hardness. Finally, we investigate a question asked by Cain about a better upper bound for the length of a word on which two distinct elements of an automaton semigroup must act differently.A detailed listing of the contributions of this paper can be found at the end of this paper.     

半监督度量学习内蕴最速下降算法的收敛性分析

主要研究对称正定矩阵群上的内蕴最速下降算法的收敛性问题.首先针对一个可转化为对称正定矩阵群上无约束优化问题的半监督度量学习模型,提出对称正定矩阵群上一种自适应变步长的内蕴最速下降算法.然后利用李群上的光滑函数在任意一点处带积分余项的泰勒展开式,证明所提算法在对称正定矩阵群上是线性收敛的.最后通过在分类问题中的数值实验说明算法的有效性.     

On the Chow groups of certain cubic fourfolds

This note is about the Chow groups of a certain family of smooth cubic fourfolds. This family is characterized by the property that each cubic fourfold X in the family has an involution such that the induced involution on the Fano variety F of lines in X is symplectic and has a K3 surface S in the fixed locus. The main result establishes a relation between X and S on the level of Chow motives. As a consequence, we can prove finite-dimensionality of the motive of certain members of the family.